Queue automaton